ML

Etymology: 
ML = Machine Language (The Language List)
ML = Meta-Language (meta-lang-faq)

FAQ:
Greg Morrisett:
ftp://rtfm.mit.edu/pub/usenet/news.answers/meta-lang-faq
http://www.lib.ox.ac.uk/internet/news/faq/archive/meta-lang-faq.html
http://www.cs.cmu.edu/afs/cs.cmu.edu/misc/sml/build/archived-mail/sml-list/ftp/faq.txt
http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/jgmorris/web/sml-faq.html

                                                 1. CAML LIGHT

Etymology:
CAML =  Categorical Abstract Machine Language

MAC NAME: Caml Light                                    

VERSION: 0.61                                

README:
"Requirements. Any Macintosh with at least 1M of RAM (2M is recommended), running System 6 or 7.  About 850K of free space on the disk.  The parts of the Caml Light system that support batch compilation currently require the Macintosh Programmer's Workshop (MPW) version 3.2."

AUTHORS:
Xavier Leroy 
Arnand Vandame
Damien Doligez
Pierre Weis
    
COPYRIGHT:
(c) Institut National de Recherche en Informatique et en Automatique (INRIA) - Domaine de Voluceau - Rocquencourt - 78153 Le Chesnay Cedex - France. 1989 - 1994

INTERNET SITES:
ftp://ftp.inria.fr/lang/caml-light/
ftp://ftp.uni-stuttgart.de/pub/systems/mac/misc/
ftp://ftp.uni-paderborn.de/mac/development/languages/
ftp://scsx01.sc.ehu.es/pub/mac/programming/
ftp://ftp.uwtc.washington.edu/pub/Mac/Programming/Languages/
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/others/ml/caml_lt/mac/
ftp://gatekeeper.dec.com/pub/plan/caml-light/
ftp://ftp.informatik.tu-muenchen.de/pub/comp/programming/languages/caml-light/
ftp://nic.switch.ch/software/mac/src/mpw_c/
ftp://nic.switch.ch/software/mac/src/LAST.UPDATED/9310/
ftp://ftp.switch.ch/software/mac/src/mpw_c/
ftp://ftp.switch.ch/software/mac/src/LAST.UPDATED/9310/
ftp://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/caml-light/
http://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/caml-light/

Old versions:
ftp://nic.funet.fi/pub/mac/programming/
ftp://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/caml-light/        
http://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/caml-light/       
ftp://nic.funet.fi/pub/languages/ml/caml/caml-light/
ftp://gatekeeper.dec.com/pub/plan/caml-light/                              

                                                  2. SML

Etymology:
SML = Standard ML

                                                 2.1 NJSML93+

MAC NAME:  Standard ML of New Jersey                                       

VERSION:  93.1b2                                 

README: -

AUTHORS:
Soren Christensen
    
COPYRIGHT:  (c) 1988-93 AT&T & others 

INTERNET SITES:
ftp://research.att.com/dist/ml/mac/
ftp://nic.switch.ch/software/mac/src/think_c/
ftp://nic.switch.ch/software/mac/src/LAST.UPDATED/9302/
ftp://ftp.switch.ch/software/mac/src/think_c/
ftp://ftp.switch.ch/software/mac/src/LAST.UPDATED/9302/
ftp://ftp.informatik.tu-muenchen.de/pub/comp/programming/languages/sml/mac/
ftp://nic.funet.fi/pub/languages/ml/sml/mac/
ftp://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/sml/mac/
http://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/sml/mac/

                                                 2.2 EdSML

Etymology:
EdSML = Edinburgh Standard ML (core language) 

                                                 2.2.1 EdSML

MAC NAME: FAM                                 

VERSION: 4.1.2.v1 

README:
"This is a port of the "version 4" Edinburgh SML to the Macintosh using Symantec's Think C compiler. This includes the SML Core language (without modules). A "project file" for Think C is provided so that the bytecode interpreter can be modified or recompiled if needed. The global symbol MAC_LSC is defined in the project to enable changes required to create this version of the FAM."
  
AUTHORS:
Unix:
Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh
mac port:
David G. Durand
    
COPYRIGHT:  
(c)  1992 Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh

INTERNET SITES:
ftp://ftp.fu-berlin.de/mac/lang/ML/                                     ftp://pascal.zedat.fu-berlin.de/mac/lang/ML/
ftp://ftp.cs.tu-berlin.de/pub/mac/lang/ML/
ftp://ftp.informatik.tu-muenchen.de/pub/comp/programming/languages/sml/mac/

                                                 2.2.2 StandardML

MAC NAME: FAM                                 

VERSION: 3.5.v01               

README:
"This document describes our port/implementation of the Edinburgh Standard ML system on the Macintosh created by Meta Software Corporation as part of its Coloured Petri Net (CPN) project. The result of this project will be a CPN based simulator which will execute sequential program fragments written in an extended version of Standard ML. For more information about this project please contact Kurt Jensen c/o Meta Software Corp."

AUTHORS:
Unix:
Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh
mac port:
META SOFTWARE CORPORATION
OCTOBER 1988
    
COPYRIGHT:
Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh   

INTERNET SITES:
ftp://ftp.fu-berlin.de/mac/lang/ML/
ftp://pascal.zedat.fu-berlin.de/mac/lang/ML/
ftp://ftp.cs.tu-berlin.de/pub/mac/lang/ML/
ftp://ftp.informatik.tu-muenchen.de/pub/comp/programming/languages/sml/mac/
ftp://colonsay.dcs.ed.ac.uk/export/ml/mac/